Combining Texts

All the ideas for 'Logicism and Ontological Commits. of Arithmetic', 'Naming and Necessity preface' and 'fragments/reports'

expand these ideas     |    start again     |     specify just one area for these texts

22 ideas

3. Truth / F. Semantic Truth / 2. Semantic Truth
10017 Truth in a model is more tractable than the general notion of truth [Hodes]
10018 Truth is quite different in interpreted set theory and in the skeleton of its language [Hodes]
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
16985 Possible worlds allowed the application of set-theoretic models to modal logic [Kripke]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10015 Higher-order logic may be unintelligible, but it isn't set theory [Hodes]
5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
10011 Identity is a level one relation with a second-order definition [Hodes]
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
16982 A man has two names if the historical chains are different - even if they are the same! [Kripke]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
10016 When an 'interpretation' creates a model based on truth, this doesn't include Fregean 'sense' [Hodes]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
10027 Mathematics is higher-order modal logic [Hodes]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / f. Arithmetic
10026 Arithmetic must allow for the possibility of only a finite total of objects [Hodes]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
10021 It is claimed that numbers are objects which essentially represent cardinality quantifiers [Hodes]
10022 Numerical terms can't really stand for quantifiers, because that would make them first-level [Hodes]
7. Existence / D. Theories of Reality / 7. Fictionalism
10023 Talk of mirror images is 'encoded fictions' about real facts [Hodes]
9. Objects / F. Identity among Objects / 1. Concept of Identity
16981 With the necessity of self-identity plus Leibniz's Law, identity has to be an 'internal' relation [Kripke]
9. Objects / F. Identity among Objects / 8. Leibniz's Law
4942 The indiscernibility of identicals is as self-evident as the law of contradiction [Kripke]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
16984 I don't think possible worlds reductively reveal the natures of modal operators etc. [Kripke]
10. Modality / D. Knowledge of Modality / 2. A Priori Contingent
9385 The very act of designating of an object with properties gives knowledge of a contingent truth [Kripke]
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
4943 Instead of talking about possible worlds, we can always say "It is possible that.." [Kripke]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
16983 Probability with dice uses possible worlds, abstractions which fictionally simplify things [Kripke]
19. Language / F. Communication / 3. Denial
1554 Contradiction is impossible, since only one side of the argument refers to the true facts [Prodicus, by Didymus the Blind]
28. God / B. Proving God / 3. Proofs of Evidence / c. Teleological Proof critique
1555 People used to think anything helpful to life was a god, as the Egyptians think the Nile a god [Prodicus]
28. God / C. Attitudes to God / 5. Atheism
1543 He denied the existence of the gods, saying they are just exaltations of things useful for life [Prodicus]
535 The gods are just personified human benefits [Prodicus]